Luís Caires：在 Z-Library 上搜索

募捐 9月15日2024 – 10月1日2024 关于筹款

您通往知识和文化的门户。每个人都可以使用。

募捐 9月15日2024 – 10月1日2024

Z-Library 是世界上最大的在线图书馆之一，它拥有超过17,000,000的书籍和84,837,000的文章。我们的目标是让每个人都能获得文学作品. 今天(9月15日2024)，我们又发起了一个募捐活动，以支持和发展这个项目.

同时无限下载 (捐款后31日内) 可适与所有在10月1日2024之前进行捐款的用户.

关于筹款更多

书籍 (10)
最受欢迎
- 分类方式×
- 最受欢迎
- 最佳吻合
- 最近添加
- 按名称 (A-Z)
- 按名称 (Z-A)
- 按年份
- 文件大小↓
- 文件大小↑
列表
- 列表
- 表格

1

Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Springer International Publishing

年:

2019

语言:

english

文件:

PDF, 22.60 MB

0 / 0

english, 2019

2

Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice ... Notes in Computer Science Book 11423)

Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice ... Notes in Computer Science Book 11423)

Luis Caires [Caires, Luis]

年:

2019

语言:

english

文件:

EPUB, 66.80 MB

0 / 0

english, 2019

3

Automata, Languages and Programming: 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings

Automata, Languages and Programming: 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Leslie G. Valiant (auth.), Luís Caires, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, Moti Yung (eds.)

年:

2005

语言:

english

文件:

PDF, 9.74 MB

0 / 0

english, 2005

4

CONCUR 2007 – Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings

CONCUR 2007 – Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Fred B. Schneider (auth.), Luís Caires, Vasco T. Vasconcelos (eds.)

年:

2007

语言:

english

文件:

PDF, 5.60 MB

0 / 0

english, 2007

5

Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001 Sendai, Japan, October 29–31, 2001 Proceedings

Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001 Sendai, Japan, October 29–31, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Luís Caires, Luca Cardelli (auth.), Naoki Kobayashi, Benjamin C. Pierce (eds.)

年:

2001

语言:

english

文件:

PDF, 5.23 MB

0 / 0

english, 2001

6

Extensions of Logic Programming: Third International Workshop, ELP '92 Bologna, Italy, February 26–28, 1992 Proceedings

Extensions of Logic Programming: Third International Workshop, ELP '92 Bologna, Italy, February 26–28, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Luís Moniz Pereira, Luis Caires, José Alferes (auth.), E. Lamma, P. Mello (eds.)

年:

1993

语言:

english

文件:

DJVU, 4.73 MB

0 / 0

english, 1993

7

Programming Languages and Systems

Programming Languages and Systems

年:

2019

语言:

english

文件:

PDF, 22.58 MB

0 / 0

english, 2019

8

Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

Springer International Publishing

Christel Baier, Luís Caires

年:

2018

语言:

english

文件:

PDF, 7.80 MB

0 / 0

english, 2018

9

Automata, Languages and Programming: 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings

Automata, Languages and Programming: 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Leslie G. Valiant (auth.), Luís Caires, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, Moti Yung (eds.)

年:

2005

语言:

english

文件:

PDF, 10.95 MB

0 / 0

english, 2005

10

Tackling Corruption in Latin America: An Institutional Approach

Tackling Corruption in Latin America: An Institutional Approach

Palgrave Macmillan

Guillaume Fontaine, Alejandro Hernández-Luis, Taymi Milán, Carlos Rodrigues de Caires

年:

2023

语言:

english

文件:

PDF, 7.36 MB

0 / 5.0

english, 2023